위키 홈 Edit Ada (programming language) 2024-09-08 (modified: 2025-06-22) 별칭: Ada, 에이다 Design by contract를 지원하는 프로그래밍 언어.